From 43046ec1cdd55608c042c1641e62b831929dad7c Mon Sep 17 00:00:00 2001 From: Alex Crichton Date: Wed, 22 Jul 2015 14:35:47 -0700 Subject: [PATCH] etc: Don't modify the installation manifest We're not actually using it as we're not running the installation script, so no need to modify it. --- src/etc/install-deps.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/etc/install-deps.py b/src/etc/install-deps.py index 9bd7a46c9..45c3ffb5e 100644 --- a/src/etc/install-deps.py +++ b/src/etc/install-deps.py @@ -49,7 +49,6 @@ def install_via_tarballs(): extra_fname = 'rustc-nightly-' + extra + '.tar.gz' print("adding target libs for " + extra) download.get(url + '/' + extra_fname, extra_fname) - manifest = open("rustc-install/rustc/manifest.in", "a") folder = extra_fname.replace(".tar.gz", "") with contextlib.closing(tarfile.open(extra_fname)) as tar: for p in tar.getnames(): @@ -62,8 +61,6 @@ def install_via_tarballs(): if os.path.isdir(tp) and os.path.exists(dst): continue shutil.move(tp, dst) - if not os.path.isdir(dst): - manifest.write(p.replace(folder + "/rustc/", "file:") + "\n") shutil.rmtree("rustc-install/" + folder) os.remove(extra_fname) -- 2.30.2